101. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
102. Proceedings :
پدیدآورنده : M.E. Stickel, (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.,Logique symbolique et mathématique, Congrès.,Théorèmes-- Démonstration automatique, Congrès.,Automatic theorem proving.,Automatisches Beweisverfahren.,Inteligência artificial (conmputação),Logic, Symbolic and mathematical.,Kaiserslautern 1990, 7
رده :
QA76
.
9
.
A96
I57
1990
103. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
104. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
105. Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
پدیدآورنده : Reinhard Kahle, Peter Schroeder-Heister, Robert Stark )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2183
106. Seven International conference on automated Deduction
پدیدآورنده :
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Automatic theorem proving-congresses
رده :
QA
76
.
9
.
A96158
1984
107. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده : edited by Manfred Kerber and Michael Kohlhase
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
108. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
109. Symposium on Automatic Demonstration
پدیدآورنده : edited by M. Laudet ]and others[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
S9
1968
110. Symposium on Automatic Demonstration
پدیدآورنده : Symposium on Automatic Demonstration, Versailles
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Automatic theorem proving- Congresses
رده :
QA
3
.
L28
no
.
125
111. Symposium on Automatic Demonstration
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
3
.
L28
no
.
125
112. Theorem provers in circuit design :
پدیدآورنده : Ramayya Kumar, Thomas Kropf, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
رده :
TK7874
.
65
R363
1995
113. Theorem proving in higher order logics
پدیدآورنده : Stefan Berghofer ... [et al.] (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
T646
2009
114. Theorem proving in higher order logics :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses ;
115. Theorem proving in higher order logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ;
116. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
پدیدآورنده : Jim Grundy, Malcolm Newey, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
117. Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
پدیدآورنده : Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2410
118. Theorem proving in higher order logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
پدیدآورنده : Elsa L. Gunter, Amy Felty, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1275
119. Theorem proving in higher order logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999 : proceedings
پدیدآورنده : Yves Bertot...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1690
120. Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
پدیدآورنده : Joe Hurd, Tom Melham )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3603
